Nuprl Definition : es-interface-sublist
11,40
postcript
pdf
es-interface-sublist(
X
;
z
) == filter(
e
.
e
X
;
z
)
latex
Definitions
filter(
P
;
l
)
,
x
.
A
(
x
)
,
e
X
FDL editor aliases
es-interface-sublist
origin
e.e 
X;z) e.e X;z) x.A(x) X